There is no ^0 ^1 number ^2.